Walks obeying two-step rules on the square lattice: full, half and quarter planes

Abstract

We consider walks on the edges of the square lattice Z2 which obey two-step rules, which allow (or forbid) steps in a given direction to be followed by steps in another direction. We classify these rules according to a number of criteria, and show how these properties affect their generating functions, asymptotic enumerations and limiting shapes, on the full lattice as well as the upper half plane. For walks in the quarter plane, we only make a few tentative first steps. We propose candidates for the group of a model, analogous to the group of a regular short-step quarter plane model, and investigate which models have finite versus infinite groups. We demonstrate that the orbit sum method us..